翻訳と辞書
Words near each other
・ Valverde de Valdelacasa
・ Valverde del Camino
・ Valverde del Fresno
・ Valverde del Majano
・ Value-added service
・ Value-added tax
・ Value-added tax (United Kingdom)
・ Value-added taxation in India
・ Value-added theory
・ Value-added wood products in Ontario
・ Value-based pricing
・ Value-driven design
・ Value-driven maintenance
・ Value-form
・ Value-in-use
Value-level programming
・ Value-rational action
・ ValueAct Capital
・ Valuegenesis
・ Valuelabs
・ ValueMax
・ ValueOptions
・ Values (heritage)
・ Values and Virtues
・ Values education
・ Values in Action Inventory of Strengths
・ Values Modes
・ Values of Civilization (Doyle)
・ Values Party
・ Values scale


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Value-level programming : ウィキペディア英語版
Value-level programming

Value-level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being function-level programming. Backus originally used the term object-level programming but that term is now prone to confusion with object-oriented programming.
Value-level programs are those that describe how to combine various ''values'' (i.e., numbers, symbols, strings, etc.) to form other values until the final ''result values'' are obtained. New values are constructed from existing ones by the application of various value-to-value functions, such as addition, concatenation, matrix inversion, and so on.
Conventional, von Neumann programs are value-level: expressions on the right side of assignment statements are exclusively concerned with building a value that is then to be stored.
==Connection with Data Types==
The value-level approach to programming invites the study of the space of values under the value-forming operations, and of the algebraic properties of those operations. This is what is called the study of data types, and it has advanced from focusing on the values themselves and their structure, to a primary concern with the value-forming operations and their structure, as given by certain axioms and algebraic laws, that is, to the ''algebraic study of data types''.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Value-level programming」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.